diminished proceeds